Fuzzy extensions of OWL: Logical properties and reduction to fuzzy description logics

Fuzzy extensions of OWL: Logical properties and reduction to fuzzy description logics

The Semantic Web is an extension of the current web, where information would have precisely defined meaning, based on formal semantics, and structured using a knowledge representational language. The current W3C standard for representing knowledge is the Web Ontology Language (OWL). OWL is based on Description Logics which is a popular knowledge representation formalism. Although, DLs are quire...

some properties of fuzzy hilbert spaces and norm of operators

in this thesis, at first we investigate the bounded inverse theorem on fuzzy normed linear spaces and study the set of all compact operators on these spaces. then we introduce the notions of fuzzy boundedness and investigate a new norm operators and the relationship between continuity and boundedness. and, we show that the space of all fuzzy bounded operators is complete. finally, we define...

Joining Gödel and Zadeh Fuzzy Logics in Fuzzy Description Logics

Ontologies have succeeded as a knowledge representation formalism in many domains of application. Nevertheless, they are not suitable to represent vague or imprecise information. To overcome this limitation, several extensions to classical ontologies based on fuzzy logic have been proposed. Even though different fuzzy logics lead to fuzzy ontologies with very different logical properties, the c...

Fuzzy Description Logics and t-norm based fuzzy logics

Description Logics (DLs) are knowledge representation languages built on the basis of classical logic. DLs allow the creation of knowledge bases and provide ways to reason on the contents of these bases. Fuzzy Description Logics (FDLs) are natural extensions of DLs for dealing with vague concepts, commonly present in real applications. Hájek proposed to deal with FDLs taking as basis t-norm bas...

Fuzzy Description Logics